Science

Results: 788472



#Item
751VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg

Add to Reading List

Source URL: people.cs.kuleuven.be

Language: English - Date: 2011-10-17 02:58:18
    752 HIGH INTEGRATION OF RESEARCH MONOGRAPHS IN THE EUROPEAN OPEN SCIENCE INFRASTRUCTURE

    HIGH INTEGRATION OF RESEARCH MONOGRAPHS IN THE EUROPEAN OPEN SCIENCE INFRASTRUCTURE

    Add to Reading List

    Source URL: www.hirmeos.eu

    Language: English - Date: 2018-03-12 07:35:38
      753Caribbean Region From Proceedings of an International Workshop on Ocean Acidification: State-of-the-Science Considerations for Small Island Developing States (SIDS) August 28–29, 2014 Apia, Samoa

      Caribbean Region From Proceedings of an International Workshop on Ocean Acidification: State-of-the-Science Considerations for Small Island Developing States (SIDS) August 28–29, 2014 Apia, Samoa

      Add to Reading List

      Source URL: goa-on.org

      Language: English - Date: 2018-01-15 13:26:59
        754Quantum Communications using Semiconductor Devices Andrew Shields Toshiba Research Europe Ltd 208 Science Park, Milton Road, Cambridge CB40GZ. UK www.quantum.toshiba.co.uk *

        Quantum Communications using Semiconductor Devices Andrew Shields Toshiba Research Europe Ltd 208 Science Park, Milton Road, Cambridge CB40GZ. UK www.quantum.toshiba.co.uk *

        Add to Reading List

        Source URL: cewqo2017.dk

        Language: English - Date: 2017-06-24 19:05:17
          755高校与学科发展 University and Science Development 2015 年第 4 期 （总第 7 期） 2015 年 12 月 31 日

          高校与学科发展 University and Science Development 2015 年第 4 期 （总第 7 期） 2015 年 12 月 31 日

          Add to Reading List

          Source URL: www.lib.cau.edu.cn

          Language: Chinese - Date: 2016-01-19 20:38:18
            756Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013

            Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013

            Add to Reading List

            Source URL: users.ics.aalto.fi

            Language: English - Date: 2013-12-09 16:38:32
              757Communiqué de presse Fonds de la Recherche Scientifique - FNRS The Excellence of Science (EOS): plus de 30 millions d’euros par an pour la recherche fondamentale Nouvelle collaboration entre le F.R.S.-FNRS et le FWO

              Communiqué de presse Fonds de la Recherche Scientifique - FNRS The Excellence of Science (EOS): plus de 30 millions d’euros par an pour la recherche fondamentale Nouvelle collaboration entre le F.R.S.-FNRS et le FWO

              Add to Reading List

              Source URL: www.fnrs.be

              Language: French - Date: 2016-12-14 03:12:35
                758SCIENCE, PUBLIC POLICY, AND GLOBAL WARMING: RETHINKING THE MARKET-LIBERAL POSITION Edwin G. Dolan A survey of market-liberal or libertarian publications and websites finds a large and growing literature on the issue of g

                SCIENCE, PUBLIC POLICY, AND GLOBAL WARMING: RETHINKING THE MARKET-LIBERAL POSITION Edwin G. Dolan A survey of market-liberal or libertarian publications and websites finds a large and growing literature on the issue of g

                Add to Reading List

                Source URL: object.cato.org

                Language: English - Date: 2016-10-20 10:35:03
                  759The 466th Geodynamics Seminar Ab initio core model Dr. Taku Tsuchiya (Professor, ELSI-ES, GRC) Date： 24 Feb. (Fri, 16:30 ~ Venue： Meeting Room #486, Science Research Bldg. 1, Ehime Univ.

                  The 466th Geodynamics Seminar Ab initio core model Dr. Taku Tsuchiya (Professor, ELSI-ES, GRC) Date： 24 Feb. (Fri, 16:30 ~ Venue： Meeting Room #486, Science Research Bldg. 1, Ehime Univ.

                  Add to Reading List

                  Source URL: www.grc.ehime-u.ac.jp

                  Language: English - Date: 2017-02-20 02:27:32
                    760Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course

                    Introduction to the cognitive science of religion Helen De Cruz Philosophy Faculty, University of Oxford Graduate course

                    Add to Reading List

                    Source URL: helendecruz.net

                    Language: English - Date: 2015-12-13 11:35:17